Marte CCSL and East-ADL2 Timing Requirements

In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML Profile for MARTE as a pivot to define the semantics of these models. In this paper, we particularly focus on East-ADL2. We discuss the benefits of having an integrated, MARTE-centered, approach. We give a formal semantics of East-ADL2 timing requirements. Relying on this semantics, several kinds of analysis become possible. Requirements become executable and simulations are run. A constraint solver is used to detect logical inconsistencies. Our proposal is illustrated on an Anti-lock Braking System (ABS). Key-words: MARTE, East-ADL2, Executable specifications, timing requirements A short version has been accepted at ISORC 2009 ∗ Université de Nice Sophia Antipolis in ria -0 03 48 13 4, v er si on 1 17 D ec 2 00 8 Marte pour les exigences temporelles de East-ADL2 Résumé : In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML Profile for MARTE as a pivot to define the semantics of these models. In this paper, we particularly focus on East-ADL2. We discuss the benefits of having an integrated, MARTE-centered, approach. We give a formal semantics of East-ADL2 timing requirements. Relying on this semantics, several kinds of analysis become possible. Requirements become executable and simulations are run. A constraint solver is used to detect logical inconsistencies. Our proposal is illustrated on an Anti-lock Braking System (ABS). Mots-clés : MARTE, East-ADL2, Spécifications exécutables, exigences temporelles in ria -0 03 48 13 4, v er si on 1 17 D ec 2 00 8 Marte CCSL and East-ADL2 Timing Requirements 3